Specification of Assessment-test Criteria through ASP Specifications
نویسندگان
چکیده
T;2 EXAM )B)(2& ") % 5#&8.2(2 #+C."+2 2D%& (%E"+F 8#4(%.G T2%5;24) %+0 )(/02+() %42 %))")(20 "+ (;2 H;#.2 84#52)) #9 %))2))&2+( (2)( '/".0"+F, 2D%& (%E"+F, %+0 (2)( 5#4425("#+G O+2 #9 (;2 &#)( "+(242)("+F 92%(/42) #9 (;2 8#4(%. ") (;2 8#))"'"."(B (# %/(#&%("5%..B F2+24%(2 %))2))&2+( (2)() '%)20 #+ /)24 02+20 5#+)(4%"+()G A (2%5;24 ") &%02 %'.2 (# '/".0 /8 %+ %))2))&2+( (2)( (2&8.%(2 /)"+F % )"&8.2 H2'C'%)20 "+(249%52, %+0 (;2+ ;24 8429242+52) %42 (4%+).%(20 "+(# % .#F"5 2D25/(%'.2 )825"5%("#+G I+ (;") 8%824, H2 02)54"'2 (;2 %))2))&2+( (2)( F2+24%("#+ 2+F"+2 #9 (;2 EXAM 8#4(%., (;2+ H2 .##E %( (;2 "+(24+%. %+0 9#4&%. )825"5%("#+ #9 (;2 84#'.2&G A '4"29 )B)(2& #$24$"2H ") F"$2+ %+0, 2$2+(/%..B, H2 0")5/)) %'#/( 42.%(20 H#4E)GJ
منابع مشابه
Statecharts Specifications: A Family of Coverage Testing Criteria
This paper proposes a family of coverage testing criteria for specifications based on Statecharts. Statecharts are an extension of finite state machines with the capability of expressing parallelism and hierarchy. They have been used to specify the behavior of Reactive Systems. Recently, they have also been used in the context of object oriented software development. The two main approaches use...
متن کاملAutomated Testing From Z Specifications
This paper considers the problem of automatically generating tests from Z specifications based on userdefined testing criteria. Automation is facilitated by formally specifying heuristics for generating tests that can be applied to a specification using general purpose theorem proving tools. The formal specification of the heuristics also allows desirable properties to be checked and comparativ...
متن کاملGenerating Test Data from State-based Specifications1
Although the majority of software testing in industry is conducted at the system level, most formal research has focused on the unit level. As a result, most system level testing techniques are only described informally. This paper presents formal testing criteria for system level testing that are based on formal specifications of the software. Software testing can only be formalized and quanti...
متن کاملEstablishing an Argument-Based Validity Approach for a Low-Stake Test of Collocational Behavior
Most of the validation studies conducted across varying test application contexts are usually framed within the traditional conceptualization of validity and therefore lack a comprehensive framework to focus on test score interpretations and test score use. This study aimed at developing and validating a collocational behavior test (CBT), drawing on Kane's argument-based approach to validity. F...
متن کاملAppendix a Correlation of Construction Quality Criteria with Performance of Asphaltic Concrete Pavements
This report is concerned with the determination of relationship between asphaltic concrete surface course specifications and the level of performance of pavements constructed under these specifications. The relationship was investigated through comparative evaluation of deficient (in specification) and nondeficient sections using a combination of pavement condition rating and ride rating as the...
متن کامل